Characterizations of Categories of Commutative C*-subalgebras
نویسنده
چکیده
We characterize the category of injective *-homomorphisms between commutative C*-subalgebras of various C*-algebras, namely C*-algebras of operators on separable Hilbert spaces, any finite-dimensional C*-algebra, and any commutative C*-algebra.
منابع مشابه
FUZZY CONVEX SUBALGEBRAS OF COMMUTATIVE RESIDUATED LATTICES
In this paper, we define the notions of fuzzy congruence relations and fuzzy convex subalgebras on a commutative residuated lattice and we obtain some related results. In particular, we will show that there exists a one to one correspondence between the set of all fuzzy congruence relations and the set of all fuzzy convex subalgebras on a commutative residuated lattice. Then we study fuzzy...
متن کاملCHARACTERIZATIONS OF EXTREMELY AMENABLE FUNCTION ALGEBRAS ON A SEMIGROUP
Let S be a semigroup. In certain cases we give some characterizations of extreme amenability of S and we show that in these cases extreme left amenability and extreme right amenability of S are equivalent. Also when S is a compact topological semigroup, we characterize extremely left amenable subalgebras of C(S), where C(S) is the space of all continuous bounded real valued functions on S
متن کاملComplementarity in categorical quantum mechanics
We relate notions of complementarity in three layers of quantum mechanics: (i) von Neumann algebras, (ii) Hilbert spaces, and (iii) orthomodular lattices. Taking a more general categorical perspective of which the above are instances, we consider dagger monoidal kernel categories for (ii), so that (i) become (sub)endohomsets and (iii) become subobject lattices. By developing a ‘point-free’ defi...
متن کاملCentralizers and Inverses to Induction as Equivalence of Categories
Given a ring homomorphism B → A, consider its centralizer R = A, bimodule endomorphism ring S = EndBAB and sub-tensor-square ring T = (A ⊗B A) B . Nonassociative tensoring by the cyclic modules RT or SR leads to an equivalence of categories inverse to the functors of induction of restricted A-modules or restricted coinduction of B-modules in case A |B is separable, H-separable, split or left de...
متن کاملCovariant Presheaves and Subalgebras
For small involutive and integral quantaloids Q it is shown that covariant presheaves on symmetric Q-categories are equivalent to certain subalgebras of a speci c monad on the category of symmetric Q-categories. This construction is related to a weakening of the subobject classi er axiom which does not require the classi cation of all subalgebras, but only guarantees that classi able subalgebra...
متن کامل